pointwise convergence for real analysis